#ifndef _IPI_H
#define _IPI_H

struct hart_mask {
  unsigned long mask;           // bit mask
  unsigned long mask_base_addr; // 0 indicates all
};

void send_ipi(struct hart_mask *mask);
#endif // _IPI_H
